#ifndef LECTEURPHRASEAVECARBRE_H_
#define LECTEURPHRASEAVECARBRE_H_

#include "Symbole.h"
#include "LecteurSymbole.h"
#include "TableSymboles.h"
#include "Arbre.h"

#include <string>
using namespace std;

class LecteurPhraseAvecArbre
{
public:
	LecteurPhraseAvecArbre(string nomFich);	 // Construit un lecteur de phrase pour interpreter
	                                         //  le programme dans le fichier nomFich

	void analyse();  // Si le contenu du fichier est conforme à la grammaire,
	                 //   cette méthode se termine normalement et affiche un message "Syntaxe correcte".
                         //   la table des symboles (ts) et l'arbre abstrait (arbre) auront été construits
	                 // Sinon, le programme sera interrompu (exit).
	void genererCpp(unsigned short indentation=0);

	inline TableSymboles getTs ()    { return ts;    } // accesseur	
	inline Noeud*        getArbre () { return arbre; } // accesseur
	

private:
    LecteurSymbole ls;    // le lecteur de symboles utilisé pour analyser le fichier
    TableSymboles  ts;    // la table des symboles valués
    Noeud*         arbre; // l'arbre abstrait

    // implémentation de la grammaire
    Noeud* programme();   	//   <programme> ::= debut <seqInst> fin <EOF>
	Noeud* seqInst();	    //     <seq_ins> ::= <inst> { <inst> }
	Noeud* inst();	    	//        <inst> ::= <affectation> ; | <instSi> | <instTq> | <instRepeter> | <instLire> ; | <instEcrire> ; | <instSelonCas>
	Noeud* affectation();	// <affectation> ::= <variable> = <expression> | <chaine>
	Noeud* expression();	//  <expression> ::= <terme> { <opAdd> <terme> }
	Noeud* facteur();    	//     <facteur> ::= <entier>  |  <variable>  |  <opUnaire>  <expBool>  |  ( <expBool> )
	Symbole opAdd();		// 		 <opAdd> ::= + | -
	Symbole opMult();		//	    <opMult> ::= * | /
	Noeud* terme();			//		 <terme> ::= <facteur> { <opMult> <facteur> }
	Noeud* expBool();		//	   <expBool> ::= <termBool> { <opOu> <termBool> }
	Noeud* termBool();		//	  <termBool> ::= <relation> { <opEt> <relation> }
	Symbole opOu();			// 	      <opOu> ::= ou
	Symbole opEt();			//	      <opEt> ::= et
	Noeud* relation();		//	  <relation> ::= <expression> { <opRel> <expression> }
	Symbole opRel();		//		 <opRel> ::= == | != | < | <= | > | >=
	Symbole opUnaire();		//	  <opUnaire> ::= - | non

	Noeud* instSi();		// 	    <instSi> ::= si ( <expBool> ) <seqInst> { sinonsi ( <expBool> ) <seqInst> } [ sinon <seqInst> ] finsi
	Noeud* instTq();		// 		<instTq> ::= tantque ( <expBool> ) <seqInst> fintantque
	Noeud* instRepeter(); 	// <instRepeter> ::= repeter <seqInst> jusqua ( <expBool> )
	Noeud* instLire();		//	  <instLire> ::= lire ( <variable> )
	Noeud* instEcrire();	//	<instEcrire> ::= ecrire ( <expression> | <chaine> )
	Noeud* instPour();		// 	  <instPour> ::= pour ( <affectation>, <expBool> , <affectation>) <seqInst> finpour
	Noeud* instSelonCas();	//<instSelonCas> ::= seloncas (<variable>) { cas <entier> : <seqInst> } [defaut : <seqInst>] finselon

    // outils pour se simplifier l'analyse syntaxique
    void testerSymCour (string ch);  // si symbole courant != ch, erreur : on arrete le programme, sinon rien
    void sauterSymCour (string ch);  // si symbole courant == ch, on passe au symbole suivant, sinon erreur : on arrete
    void erreur (string mess);      // affiche les message d'erreur mess et arrete le programme
};

#endif /* LECTEURPHRASEAVECARBRE_H_ */
